church-turing thesis

邱池-杜林论题